Effect Estimation Method of Parallel Computing Based on Dynamic Generation of Equivalent Transformation Rules Dynamic Generation of Equivalent Transformation Rules
نویسنده
چکیده
Recent studies in parallel computing have mainly focused on physically producing multiple computing sites for computational speed-up and not considered theories and methodologies, which are the essence of parallel computing, and correctness as well. It means that the studies have mostly considered cost-effectiveness, that is, how many computing sites are produced determines how much computing speed improves. This study proposes an algorithm to estimate the effectiveness of parallel computing based on the model with established theories and methodologies, which are the essence of parallel computing, and with assured correctness, instead of exploring such cost-effectiveness. Moreover, we will demonstrate the effectiveness of the proposed method by applying it to one of constraint satisfaction problems, Pic-a-Pix Puzzle, and comparing sequential computing time with estimated parallel computing time based on the dynamic generation of equivalent transformation (ET) rules.
منابع مشابه
The Squeeze Method: A Method for Program Construction in the Equivalent Transformation Computation Model
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and computation consists in successive reduction of problems by rule application. As long as meaning-preserving rewriting rules, called ET rules, with respect to given background knowledge are used, correct computation res...
متن کاملSpecialization-based parallel Processing without Memo-trees
The purpose of this paper is to propose a framework for constructing correct parallel processing programs based on Equivalent Transformation Framework (ETF). ETF regards computation as In the framework, a problem’s domain knowledge and a query are described in definite clauses, and computation is regarded as transformation of the definite clauses. Its meaning is defined by a model of the set of...
متن کاملGenerating Speq Rules based on Automatic Proof of Logical Equivalence
In the Equivalent Transformation (ET) computation model, a program is constructed by the successive accumulation of ET rules. A method by meta-computation by which a correct ET rule is generated has been proposed. Although the method covers a broad range in the generation of ET rules, all important ET rules are not necessarily generated. Generation of more ET rules can be achieved by supplement...
متن کاملProgram Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and computation consists in successive reduction of problems by rule application. As long as meaning-preserving rewriting rules, called ET rules, with respect to given background knowledge are used, correct computation res...
متن کاملDesign On-Line Tunable Gain Artificial Nonlinear Controller
One of the most important challenges in nonlinear, multi-input multi-output (MIMO) and time variant systems (e.g., robot manipulator) is designing a controller with acceptable performance. This paper focused on design a new artificial non linear controller with on line tunable gain applied in the robot manipulator. The sliding mode fuzzy controller (SMFC) was designed as 7 rules Mamdani’s infer...
متن کامل